1 Partial Execution - An Easy Partial Evaluation

نویسنده

  • Burkhard D. Burow
چکیده

Partial evaluation, also known as automatic specialization, is a particular collection of techniques for improving the performance of an application. With clear benefits, but unclear implementation up until now, partial evaluation is little used in current computing practice. This soon will change. Presented here is partial execution, an alternative to symbolic evaluation the technique driving previous implementations of partial evaluation. In contrast to symbolic evaluation, partial execution is simply a part of the usual application execution. Partial execution thus avoids many of the problems introduced by symbolic evaluation. Partial execution is one of many execution features provided by the Task System and Item Architecture (TSIA) a project in its early stages.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

1 Graph Reduction for Partial Evaluation

Partial evaluation is an automatic optimization of the execution of an application. For some of the components of partial evaluation, graph reduction long has promised practical implementations. The promises have not been fulfilled, since graph reduction itself lacked a practical implementation. Practical graph reduction recently has been achieved. It may satisfy some of the promises of graph r...

متن کامل

Interleaving Symbolic Execution and Partial Evaluation

Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advantage to speed up as well symbolic execution of programs. Interestingly, the input required for partial evaluation comes from symbolic execution itself which makes it natural to interleave partial evaluation and symbolic...

متن کامل

Analysis and Optimisation of Active Database Rules Using Abstract Interpretation and Partial Evaluation

Active databases provide reactive functionality by supporting event-conditionaction rules (also known as triggers). Two key issues in active databases are analysis and optimisation of such rules. In this paper we describe how abstract interpretation and partial evaluation can be applied to these tasks, demonstrating that they provide a useful framework that both encompasses various existing dat...

متن کامل

On Type-Directed Partial Evaluation

Type Directed Partial Evaluation (TDPE) is a new development in partial evaluation that has two properties that make it attractive for formal investigation: First, it is concise; it is deened in about six lines Dan96b]. Second, it is easy to implement; the deenition can be coded directly in a functional language like Scheme, yielding a demonstrably eecient and eeective partial evaluator DV96, V...

متن کامل

A Simple Chairside Technique of Removing Crown and Fixed Partial Denture Restorations

Retrieving failed cemented crowns and fixed partial dentures with minimum discomfort to the patient has always been a clinical concern. This article describes a technique which will allow easy and predictable removal of these restorations.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999